Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

GEOMETRISATION OF FIRST-ORDER LOGIC

Année:
2015
Langue:
english
Fichier:
PDF, 351 KB
english, 2015
2

INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS

Année:
2019
Langue:
english
Fichier:
PDF, 147 KB
english, 2019
3

A Note on Harmony

Année:
2012
Langue:
english
Fichier:
PDF, 1.03 MB
english, 2012
4

Proof-Theoretic Semantics for Subsentential Phrases

Année:
2010
Langue:
english
Fichier:
PDF, 293 KB
english, 2010
5

Proof-theoretic semantics for a natural language fragment

Année:
2010
Langue:
english
Fichier:
PDF, 2.37 MB
english, 2010
6

Contraction-free sequent calculi for intuitionistic logic

Année:
1992
Langue:
english
Fichier:
PDF, 900 KB
english, 1992
7

Categorical cuts

Année:
1976
Langue:
english
Fichier:
PDF, 577 KB
english, 1976
8

Total reflections, partial products, and hereditary factorizations

Année:
1984
Langue:
english
Fichier:
PDF, 776 KB
english, 1984
10

Permutability of proofs in intuitionistic sequent calculi

Année:
1999
Langue:
english
Fichier:
PDF, 962 KB
english, 1999
11

Factorisation theorems and projective spaces in topology

Année:
1972
Langue:
english
Fichier:
PDF, 454 KB
english, 1972
12

Book reviews

Année:
1993
Langue:
english
Fichier:
PDF, 172 KB
english, 1993
13

Decision methods for linearly ordered Heyting algebras

Année:
2006
Langue:
english
Fichier:
PDF, 158 KB
english, 2006
14

Proof analysis in intermediate logics

Année:
2012
Langue:
english
Fichier:
PDF, 242 KB
english, 2012
15

Proof-theoretic semantics for a natural language fragment

Année:
2010
Langue:
english
Fichier:
PDF, 525 KB
english, 2010
16

Projective resolutions of topological spaces

Année:
1976
Langue:
english
Fichier:
PDF, 503 KB
english, 1976
17

Exponentiable morphisms, partial products and pullback complements

Année:
1987
Langue:
english
Fichier:
PDF, 636 KB
english, 1987
18

Sequent Calculi for the Normal Terms of the λΠ- and λΠ∑-Calculi

Année:
1998
Langue:
english
Fichier:
PDF, 1001 KB
english, 1998
20

Editorial

Année:
2001
Langue:
english
Fichier:
PDF, 52 KB
english, 2001
21

Editorial

Année:
2001
Langue:
english
Fichier:
PDF, 62 KB
english, 2001
23

A Note on Harmony

Année:
2012
Langue:
english
Fichier:
PDF, 345 KB
english, 2012
25

Basic Proof Theoryby A. S. Troelstra; H. Schwichtenberg

Année:
1998
Langue:
english
Fichier:
PDF, 305 KB
english, 1998
27

Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic

Année:
2000
Langue:
english
Fichier:
PDF, 383 KB
english, 2000
31

Basic Proof Theoryby A. S. Troelstra; H. Schwichtenberg

Année:
2001
Langue:
english
Fichier:
PDF, 216 KB
english, 2001
32

Proof-Theoretic Semantics for Subsentential Phrases

Année:
2010
Langue:
english
Fichier:
PDF, 1.34 MB
english, 2010
33

Analytic Tableaux and Related Methods. Part 2: Non-Classical Logics || Editorial

Année:
2001
Langue:
english
Fichier:
PDF, 349 KB
english, 2001
34

Natural Deduction || Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic

Année:
1998
Langue:
english
Fichier:
PDF, 1.19 MB
english, 1998
35

Analytic Tableaux and Related Methods. Part 1: Modal Logics || Editorial

Année:
2001
Langue:
english
Fichier:
PDF, 341 KB
english, 2001
36

CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION

Année:
2018
Langue:
english
Fichier:
PDF, 75 KB
english, 2018
37

INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS

Année:
2019
Fichier:
PDF, 147 KB
2019